日本語を考える1 自然言語の形式理論